A model driven engineering process of platform neutral agents for ambient intelligence devicesAYALA, Inmaculada; AMOR, Mercedes; FUENTES, Lidia et al.Autonomous agents and multi-agent systems. 2014, Vol 28, Num 2, pp 214-255, issn 1387-2532, 42 p.Article

Délégation GPU des perceptions agents: intégration itérative et modulaire du GPGPU dans les simulations multi-agents: Application sur la plate-forme TurtleKit 3 = GPU delegation of agent perceptions: A modular and iterative approach for using GPGPU in multi-agent based simulations. The TurtleKit 3 platform case studyMICHEL, Fabien.Revue d'intelligence artificielle. 2014, Vol 28, Num 4, pp 485-510, issn 0992-499X, 26 p.Conference Paper

A hierarchical reinforcement learning approach for optimal path tracking of wheeled mobile robots : ISNN2012LEI ZUO; XIN XU; CHUNMING LIU et al.Neural computing & applications (Print). 2013, Vol 23, Num 7-8, pp 1873-1883, issn 0941-0643, 11 p.Article

A methodology for formal analysis and verification of EAST-ADL models : SAFECOMP 2011KANG, Eun-Young; ENOIU, Eduard Paul; MARINESCU, Raluca et al.Reliability engineering & systems safety. 2013, Vol 120, pp 127-138, issn 0951-8320, 12 p.Article

On consensus algorithms design for double integrator dynamicsABDESSAMEUD, Abdelkader; TAYEBI, Abdelhamid.Automatica (Oxford). 2013, Vol 49, Num 1, pp 253-260, issn 0005-1098, 8 p.Article

Realtime Decision-Making for Certifiable Autonomous Unmanned SystemsHALBIG, Jens; WINDISCH, André; KINGSBURY, Patrick et al.International journal of imaging and robotics. 2013, Vol 10, Num 2, pp 44-57, 14 p.Article

A Beamlet-Based Graph Structure for Path Planning Using Multiscale InformationYIBIAO LU; XIAOMING HUO; TSIOTRAS, Panagiotis et al.IEEE transactions on automatic control. 2012, Vol 57, Num 5, pp 1166-1178, issn 0018-9286, 13 p.Article

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLsROMPF, Tiark; ODERSKY, Martin.Communications of the ACM. 2012, Vol 55, Num 6, pp 121-130, issn 0001-0782, 10 p.Article

A Data-Centric Approach to SynchronizationDOLBY, Julian; HAMMER, Christian; MARINO, Daniel et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 1, issn 0164-0925, 4.1-4.48Article

Cost analysis of object-oriented bytecode programsALBERT, Elvira; ARENAS, Puri; GENAIM, Samir et al.Theoretical computer science. 2012, Vol 413, Num 1, pp 142-159, issn 0304-3975, 18 p.Article

Real-time simulation of a spiking neural network model of the basal ganglia circuitry using general purpose computing on graphics processing unitsIGARASHI, Jun; SHOUNO, Osamu; FUKAI, Tomoki et al.Neural networks. 2011, Vol 24, Num 9, pp 950-960, issn 0893-6080, 11 p.Article

Domain specific languages for software requirements captureRAMOS, J. G; SILVA, J; FLORES, H et al.Software engineering research & practice. International conferenceWorldComp'2010. 2010, pp 111-116, isbn 1-60132-160-0 1-60132-166-X 1-60132-167-8, 6 p.Conference Paper

PINOCC_HIO: Bringing Reflection to Life with First-Class InterpretersVERWAEST, Toon; BRUNI, Camillo; GURTNER, David et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 774-789, issn 1523-2867, 16 p.Conference Paper

The OOSimL Simulation Language and its Dual-Target Code GeneratorGARRIDO, José M.Modeling, simulation & visualization methods. International conferenceWorldComp'2010. 2010, pp 342-347, isbn 1-60132-155-4, 6 p.Conference Paper

On an algorithm determining direct superclasses in Java and similar languages with inner classes-Its correctness, completeness and uniqueness of solutionsLANGMAACK, Hans; SALWICKI, Andrzej; WARPECHOWSKI, Marek et al.Information and computation (Print). 2009, Vol 207, Num 3, pp 389-410, issn 0890-5401, 22 p.Article

Operational domain theory and topology of sequential programming languagesESCARDO, Martin; WENG KIN HO.Information and computation (Print). 2009, Vol 207, Num 3, pp 411-437, issn 0890-5401, 27 p.Article

Tools for scalable parallel program analysis: Vampir NG, MARMOT, and DeWizBRUNST, Holger; KRANZLMÜLLER, Dieter; MÜLLER, Matthias S et al.International journal of computational science and engineering (Print). 2009, Vol 4, Num 3, pp 149-161, issn 1742-7185, 13 p.Article

Formal Verification of Practical MPI ProgramsVO, Anh; VAKKALANKA, Sarvani; DELISI, Michael et al.ACM SIGPLAN notices. 2009, Vol 44, Num 4, pp 261-269, issn 1523-2867, 9 p.Conference Paper

Clarifying the semantics of value in use cases through Jackson's Problem FramesCANETE-VALDEON, José M; ENRIQUEZ, Fernando; ORTEGA, Javier et al.Information processing letters. 2008, Vol 107, Num 6, pp 221-229, issn 0020-0190, 9 p.Article

A part recognition based computer aided assembly systemCICEK, Adem; GULESIN, Mahmut.Computers in industry. 2007, Vol 58, Num 8-9, pp 733-746, issn 0166-3615, 14 p.Article

A semantics for concurrent separation logicBROOKES, Stephen.Theoretical computer science. 2007, Vol 375, Num 1-3, pp 227-270, issn 0304-3975, 44 p.Article

Fast congruence closure and extensionsNIEUWENHUIS, Robert; OLIVERAS, Albert.Information and computation (Print). 2007, Vol 205, Num 4, pp 557-580, issn 0890-5401, 24 p.Conference Paper

A Tableau Method for Verifying Dialogue Game Protocols for Agent CommunicationBENTAHAR, Jamal; MOULIN, Bernard; MEYER, John-Jules Ch et al.Lecture notes in computer science. 2006, pp 223-244, issn 0302-9743, isbn 3-540-33106-9, 1Vol, 22 p.Conference Paper

Concurrency and refinement in the Unified Modeling LanguageDAVIES, Jim; CRICHTON, Charles.Formal aspects of computing. 2003, Vol 15, Num 2-3, pp 118-145, issn 0934-5043, 28 p.Conference Paper

UML based performance modeling of distributed systemsMIRANDOLA, Raffaela; CORTELLESSA, Vittorio.Lecture notes in computer science. 2000, pp 178-193, issn 0302-9743, isbn 3-540-41133-XConference Paper